Ladder of inference